verilog gray encoder